Wyniki
-
Completeness of Floyd logic
Hajnal Andreka, Istvan Nemeti
Bulletin of the Section of Logic , 7 /3 (1978) s. 115-120 -
On universal algebraic logic and cylindric algebras
Hajnal Andreka, Istvan Nemeti
Bulletin of the Section of Logic , 7 /4 (1978) s. 152-158 -
Not all representable cylindric algebras are neat reducts
Hajnal Andreka, Istvan Nemeti
Bulletin of the Section of Logic , 8 /3 (1979) s. 145-147 -
Trakt Królewsko-Cesarski i Miejski Program Rewitalizacji w Poznaniu
L. Łangowski, L. Podbrez
Przestrzeń i FORMa / Space&FORM 6 (2007) s. 71-82 -
Protokół z posiedzenia organizacyjnego Górnośląskiego Polskiego Towarzystwa Prehistorycznego
L. Sylwester, L. Skalski
Z Otchłani Wieków : pismo poświęcone pradziejom Polski , 19 /1-2 (1950) s. 27-29 -
Program verification within and without logic
Hajnal Andreka, Istvan Nemeti, Ildiko Sain
Bulletin of the Section of Logic , 8 /3 (1979) s. 124-129 -
Quasi equational logic of partial algebras
Hajnal Andreka, Peter Burmeister, Istvan Nemeti
Bulletin of the Section of Logic , 9 /4 (1980) s. 193-197 -
Decision problems for equational theories of relation algebras
Hajnal Andreka, Steven Givant, Istvan Nemeti
Bulletin of the Section of Logic , 23 /2 (1994) s. 47-52